Reliable Device Drivers Require Well-Defined Protocols
نویسندگان
چکیده
Current operating systems lack well-defined protocols for interaction with device drivers. We argue that this hinders the development of reliable drivers and thereby undermines overall system stability. We present an approach to specify driver protocols using a formalism based on state machines. We show that it can simplify device programming, facilitate static analysis of drivers against protocol specifications, and enable detection of incorrect behaviours at runtime.
منابع مشابه
On the Construction of Reliable Device Drivers
This dissertation is dedicated to the problem of device driver reliability. Software defects in device drivers constitute the biggest source of failure in operating systems, causing significant damage through downtime and data loss. Previous research on driver reliability has concentrated on detecting and mitigating defects in existing drivers using static analysis or runtime isolation. In cont...
متن کاملComparing Two Reliable Multicast Protocols for Mobile Computing
As networks with mobile devices becorne commonplace, many new applications for those networks arisc, including some that require coordination among groups of mobile clients. One basic tool for implementing coordination is reliable multicast, where delivery of a multicast message is atomic, i.e. cither all or none of the group members deliver the message. While several multicast protocols have b...
متن کاملJournal - Ediçáo 2.pmd
As networks with mobile devices becorne commonplace, many new applications for those networks arisc, including some that require coordination among groups of mobile clients. One basic tool for implementing coordination ie reliable multicast, where delivery of a multicast message is atomic, i.e. cither all or none of the group members deliver the message. While several multicast protocols have b...
متن کاملSmarter driving with IDA, the intelligent driving assistant for singapore
In this paper we present our works towards creating a natural language platform for an intelligent driving assistant (IDA) for smart parking in Singapore. In particular, we are focusing on the challenges of designing and implementing reliable spoken dialogue components that enable drivers to communicate hands-free with the system. These components require: spoken language dialogue design, data ...
متن کاملA Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy driver can wipe out kernel tables and bring the system crashing to a halt. We have greatly mitigated this problem by reducing the kernel to an absolute minimum and running each driver as a separate, unprivileged process in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007